Jump to content

Monoidal category action

From Wikipedia, the free encyclopedia

In algebra, an action of a monoidal category S on a category X is a functor

such that there are natural isomorphisms and and those natural isomorphism satisfy the coherence conditions analogous to those in S.[1] If there is such an action, S is said to act on X.

For example, S acts on itself via the monoid operation ⊗.

Notes

[edit]

References

[edit]
  • Weibel, Charles (2013). The K-book: an introduction to algebraic K-theory. Graduate Studies in Math. Vol. 145. American Mathematical Society. ISBN 978-0-8218-9132-2.